-
1 правила подстановки
пра́вила підстано́вкиРусско-украинский политехнический словарь > правила подстановки
-
2 правила подстановки
пра́вила підстано́вкиРусско-украинский политехнический словарь > правила подстановки
-
3 правило
I пр`авилопра́вило- порождающие правила
- правила безопасности
- правила обслуживания
- правила подстановки
- правила приёмки
- правило буравчика
- правило вывода
- правило двойственности
- правило дифференцирования
- правило доказательства
- правило заключения
- правило затухания
- правило золотого сечения
- правило исключения
- правило ложного положения
- правило обобщения
- правило отбора
- правило отделения
- правило приравнивания
- правило произведения
- правило сдвига
- правило смешения
- правило смещения
- правило сумм
- правило трапеций
- правило устойчивости
- правило фаз
- решающее правило
- тройное правило
- цепное правило
- эмпирическоое правило II прав`илотехн.1) ( приспособление) прави́ло; ( руль - ещё) стерно́, кермо́2) (у баржи, плота) трепло́ -
4 правило
I пр`авилопра́вило- порождающие правила
- правила безопасности
- правила обслуживания
- правила подстановки
- правила приёмки
- правило буравчика
- правило вывода
- правило двойственности
- правило дифференцирования
- правило доказательства
- правило заключения
- правило затухания
- правило золотого сечения
- правило исключения
- правило ложного положения
- правило обобщения
- правило отбора
- правило отделения
- правило приравнивания
- правило произведения
- правило сдвига
- правило смешения
- правило смещения
- правило сумм
- правило трапеций
- правило устойчивости
- правило фаз
- решающее правило
- тройное правило
- цепное правило
- эмпирическоое правило II прав`илотехн.1) ( приспособление) прави́ло; ( руль - ещё) стерно́, кермо́2) (у баржи, плота) трепло́
См. также в других словарях:
Принцип подстановки Барбары Лисков — (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе под названием Абстракция данных и… … Википедия
Принцип подстановки Лисков — Принцип подстановки Барбары Лисков (англ. Liskov Substitution Principle, LSP) в объектно ориентированном программировании является специфичным определением подтипа предложенным Барбарой Лисков в 1987 году на конференции в основном докладе… … Википедия
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
ЛОГИКА КОМБИНАТОРНАЯ — одно из направлений логики, занимающихся ее основаниями, т.е. такими осн. понятиями и методами, к рые при построении формальных логич. систем или исчислений предполагаются обычно не нуждающимися в пояснениях (содержательно понятными) и не… … Философская энциклопедия
Дедукция — (от лат. deductio выведение) переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к … Большая советская энциклопедия
логика комбинаторная — (от лат. combinare соединять, сочетать) одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия переменная , функция ,… … Словарь терминов логики
АКСИОМ СХЕМА — единый способ задания аксиом, обладающих одной и той же синтаксич. структурой. Конкретная А. с. обычно реализуется при помощи фиксирующего ее синтаксич. структуру выражения (чаще всего не принадлежащего языку, в к ром записываются аксиомы) и… … Математическая энциклопедия
Простая литорея — Литорея (от littera) тайнописание, род шифрованного письма, употреблявшегося в древнерусской рукописной литературе. Известна литорея двух родов: простая и мудрая. Простая, иначе называемая тарабарской грамотой, заключается в следующем:… … Википедия
СОВМЕСТИМОСТЬ — свойство дедуктивных (в частности, формальных) теорий и отд. их предложений (соответственно формул) или множеств предложений (формул). Предложение дедуктивной теории наз. совместимым с постулатами (аксиомами и правилами вывода) этой теории, если… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА — математическая дисциплина, предметом к рой является разработка и изучение понятий, образующих основу формального аппарата для описания строения естественных языков (т. е. метаязыка лингвистики). Возникновение М. л. можно отнести приблизительно к… … Математическая энциклопедия
ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… … Математическая энциклопедия